Update Propagation in a Formal Semantic Model
نویسندگان
چکیده
The update propagation methodology of a semantic database model, IFO, is described. An informal review of IFO, a mathematically defined model which subsumes the structural components of most prominent semantic models in the literature, is also presented.
منابع مشابه
A Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملComputationally secure multiple secret sharing: models, schemes, and formal security analysis
A multi-secret sharing scheme (MSS) allows a dealer to share multiple secrets among a set of participants. in such a way a multi-secret sharing scheme (MSS) allows a dealer to share multiple secrets among a set of participants, such that any authorized subset of participants can reconstruct the secrets. Up to now, existing MSSs either require too long shares for participants to be perfect secur...
متن کاملFormal Modeling and Simulation to Analyze the Dynamics of Malware Propagation in Networks Using Cell-devs
Modeling the propagation of malware can help us to understand this phenomenon, and to provide defense strategies for the system. We discuss the use of Cell-DEVS, a formal modeling approach to model malware propagation in different types of networks. We present different models to investigate the propagation of malware in different networks. We first study malware propagation in wireless sensor ...
متن کاملA Dynamic Update Model of Sentence Processing
In recent years formal semantic theories based on the principle of compositionality have been criticized of not being able to explain how meaning is computed in the brain (Baggio and Hagoort 2011). For example, although neither John squeezed an orange nor John squeezed an apple contain a semantic anomaly, they are processed differently in the brain, because orange is more expected as the direct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IEEE Data Eng. Bull.
دوره 11 شماره
صفحات -
تاریخ انتشار 1988